ea0ae6a5fd9f19960611014d0044acc9f429bae8,sre/io.janusproject/io.janusproject.tests/src/io/janusproject/tests/bugs/BugS546.java,KillWaiterAgent,initializeBehaviorUnit,#PresentationEvent#,185
Before Change
private void initializeBehaviorUnit(PresentationEvent occurrence) {
if (LOG) {
System.out.println("AGENT READY: " + occurrence.getSource().getUUID());
}
this.agents.add(occurrence.getSource().getUUID());
}
After Change
private void initializeBehaviorUnit(PresentationEvent occurrence) {
final boolean b;
synchronized (this.presentedAgents) {
b = this.presentedAgents.add(occurrence.getSource().getUUID());
}
if (!b) {
if (LOG) {